Valuation theoretic content of the Marker-Steinhorn theorem
نویسنده
چکیده
Below is another proof of the Marker-Steinhorn Theorem for o-minimal theories T , which expands the theory of real closed fields (cf. [2] and [3]). The Theorem in this case follows from basic valuation theory as developed in [1]. The Theorem says the following: If M is a model of T and p is a tame n-type over M (i.e. M is dedekind complete in M〈ᾱ〉 := dcl(Mᾱ) for some realization ᾱ of p), then p is a definable type (cf. [4], 11.b).
منابع مشابه
A proof of the valuation property and preparation theorem
The purpose of this article is to present a short model-theoretic proof of the valuation property for a polynomially bounded, o-minimal theory T . The valuation property was conjectured by van den Dries [1], and proved for the polynomially bounded case by van den Dries– Speissegger [4] and for the power bounded case by Tyne [11]. Our proof uses the transfer principle for the theory Tconv (theor...
متن کاملMarker-steinhorn via Definable Linear Orders
We give a short proof of the Marker-Steinhorn theorem for ominimal expansions of ordered groups. The key tool is Ramakrishnan’s classification of definable linear orders in such structures.
متن کاملMATRIX VALUATION PSEUDO RING (MVPR) AND AN EXTENSION THEOREM OF MATRIX VALUATION
Let R be a ring and V be a matrix valuation on R. It is shown that, there exists a correspondence between matrix valuations on R and some special subsets ?(MVPR) of the set of all square matrices over R, analogous to the correspondence between invariant valuation rings and abelian valuation functions on a division ring. Furthermore, based on Malcolmson’s localization, an alternative proof for t...
متن کاملA cone theoretic Krein-Milman theorem in semitopological cones
In this paper, a Krein-Milman type theorem in $T_0$ semitopological cone is proved, in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.
متن کاملA Simple Proof of the Marker-steinhorn Theorem for Expansions of Ordered Abelian Groups
We give a short and self-contained proof of the MarkerSteinhorn Theorem for o-minimal expansions of ordered groups, based on an analysis of linear orders definable in such structures.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 69 شماره
صفحات -
تاریخ انتشار 2004